Formal Real-Time Imagination

Formal real-time imagination is a term that may curiously describe the activities of a commonsense agent in a real-time setting in general, and in a tight deadline situation in particular. We brieey describe anàctive-logic' mechanism that ts this description. Temporal projection is an essential component of real-time planning. We draw a parallel between imagination as we understand it in human context and the capacity of the automated agent to formulate mental images of possible scenarios and plans of action in the course of its reasoning. We outline a treatment of temporal issues of signiicance to a time-situated reasoning mechanism in a dynamic setting with deadlines. The Yale shooting problem is a benchmark problem in temporal reasoning. We demonstrate how the active-logic planning mechanism successfully handles some interesting real-time variants of the Yale shooting problem. The solutions to each of these illustrate the agent's ability to form contexts within which to reason, to project in each context thus formed by applying default inferences, and to revise and extend its conclusions within each context by applying time-sensitive inference rules, and most importantly , to account for all the time spent in the process.